منابع مشابه
Theory of sketches for database mappings
This paper presents two basic operations, Separation and Data federation, for database schemas that are used in database mapping systems and explains why functorial semantics for database mappings need a new base category instead of usual Set category. A definition of graph G for a schema database mapping system and the definition of its sketch category Sch(G) are presented. Based on this frame...
متن کاملData Base Mappings and Theory of Sketches
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functorial semantics for database mappings needed a new base category instead of usual Set category. Successively, it is presented a definition of the graph G for a schema database mapping system, and the definition of its ske...
متن کاملA Theory of Enriched Sketches
The theory of enriched accessible categories over a suitable base category V is developed. It is proved that these enriched accessible categories coincide with the categories of flat functors, but also with the categories of models of enriched sketches. A particular attention is devoted to enriched locally presentable categories and enriched functors.
متن کاملSketches for Design and Design of Sketches
Design consists of generating ideas and adapting them to users. Cognitive research can give insights into each of these processes. Here, we describe two projects involving sketches. Sketches are cognitive tools; they have many uses, among them: to promote inferences and new ideas; to organize and convey information. For the former, ambiguity is productive; for the latter, clarity is necessary. ...
متن کاملKleisli category and database mappings
This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can be interpreted as a computational model of viewbased mappings between databases, where each query (view-mapping) can be seen as a program, so that we can use the paradigm ”from values to computations”. The objects in this catego...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Intelligent Information and Database Systems
سال: 2015
ISSN: 1751-5858,1751-5866
DOI: 10.1504/ijiids.2015.070807